(read_key_sequence): Use XFASTINT to convert value

of Flength to an int.

diff --git a/src/keyboard.c b/src/keyboard.c
index 9614a967b89d6f017c0fb357e3373a054a3fb867..c8e9e824b346fefd4ee87d5c21072fa1d8279f6d 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -4212,7 +4212,7 @@ read_key_sequence (keybuf, bufsize, prompt)
              if ((VECTORP (fkey_next) || STRINGP (fkey_next))
                  && fkey_end == t)
                {
-                 int len = Flength (fkey_next);
+                 int len = XFASTINT (Flength (fkey_next));
 
                  t = fkey_start + len;
                  if (t >= bufsize)
@@ -4284,7 +4284,7 @@ read_key_sequence (keybuf, bufsize, prompt)
            if ((VECTORP (keytran_next) || STRINGP (keytran_next))
                && keytran_end == t)
              {
-               int len = Flength (keytran_next);
+               int len = XFASTINT (Flength (keytran_next));
 
                t = keytran_start + len;
                if (t >= bufsize)